type Op a x = x -> a